Functional Description of Geoprocessing Services as Conjunctive Queries
نویسندگان
چکیده
Discovery of suitable web services is a crucial task in spatial data infrastructures. We present a novel approach to the semantic discovery of Geoprocessing Services (WPS). Requests and WPS are annotated as conjunctive queries in a logic programming (LP) language and the discovery process is based on LP query containment checking between these descriptions. Besides the types of input and output, we explicitely formalise the relation between and hence are able to capture the functionality of WPS more precisely. The use of LP query containment allows for effective and decidable reasoning tasks during service discovery.
منابع مشابه
Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering
First order logic (FOL) rewritability is a desirable feature for query answering over geo-thematic ontologies because in most geoprocessing scenarios one has to cope with large data volume. Hence, there is a need for combined geo-thematic logics that provide a sufficiently expressive query language allowing for FOL rewritability. The DL-Lite family of description logics is tailored towards FOL ...
متن کاملScalable Geo-thematic Query Answering
First order logic (FOL) rewritability is a desirable feature for query answering over geo-thematic ontologies because in most geoprocessing scenarios one has to cope with large data volumes. Hence, there is a need for combined geo-thematic logics that provide a sufficiently expressive query language allowing for FOL rewritability. The DL-Lite family of description logics is tailored towards FOL...
متن کاملGeoinformatik Ontology - based Discovery and Composition of Geographic Information Services
Spatial data infrastructures will greatly benefit from the ability to compose geographic information (GI) services to solve complex problems. Discovering suitable services for data access and geoprocessing are major challenges in this endeavour. Current (keyword-based) approaches to service discovery are inherently restricted by the ambiguities of natural language, which can lead to low precisi...
متن کاملFirst Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF , along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from EXPTIME via NEXPTIME to 2EXPTIME, pointing out several interesting effects. In particular, FO-rewriting is more complex for c...
متن کاملIntegrative Environmental Queries Using Geospatial Web Services
The paper explores the use of geospatial web services for querying and analytical functions on distributed heterogeneous biological databases. A case study and web service implementation was tested on biological collections in Australia. Open geospatial specifications for web services were adequate for the test implementation, although some performance issues on XML-encoded data were identified...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007